| Logikprogrammierung | Dieser Text beschreibt Logikprogrammierung.
Der untere Text beinhaltet die Logikprogrammierung Beschreibung. Soweit es sich um ein definierbares Objekt handelt, sollte hier eine Logikprogrammierung Definition vorhanden sein. Sollte eine Definition von Logikprogrammierung fehlen, kann diese von Ihnen verfaßt werden. Wir sind bestrebt die Beschreibung von Logikprogrammierung möglichst ausführlich zu halten.
Jeder Text bei Know-Library, sowie ein Teil davon (Definition, Beschreibung etc.), außer Bücher Beschreibungen kann bearbeitet werden. Falls die Beschreibung auf dieser Seite nicht korrekt ist klicken Sie auf 'Beschreibung editieren' um den Text zu korrigieren bzw. neuen einzufügen. Weitere Informationen und Bücher zum Thema Logikprogrammierung Beschreibung , so wie Link zum Forum finden Sie weiter unten. Eine Übersicht der Texte, die das Thema Logikprogrammierung beschreiben finden Sie auf der Seite alle Artikel über Logikprogrammierung. Fragen zu dem Thema Logikprogrammierung können im Forum gestellt werden. Klicken Sie hier um zu dem Forum zu wechseln.
Logikprogrammierung ArtikelUnter Logikprogrammierung versteht man einen Ansatz zur Programmierung, der auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik-Programm nicht aus einer Folge von Befehlen, sondern aus einer Menge von Axiomen, welche hier als eine reine Ansammlung von Fakten oder Annahmen zu verstehen sind. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der Interpreter die Lösungsaussage allein aus den Axiomen zu berechnen.
Eine der bekanntesten logischen Programmiersprachen ist Prolog.
Anwendungen der Logikprogrammierung finden sich beispielsweise in folgenden Bereichen:
Siehe auch: Programmierparadigma, Constraintprogrammierung
Buch-Tipp: Constraint-Programmierung. Grundlagen und Anwendungen (Springer Lehrbuch) Eine Beschreibung zum Buch " Constraint-Programmierung. Grundlagen und Anwendungen (Springer Lehrbuch)" finden Sie auf der Seite des Buchhändlers. Um dorthin zu gelangen klicken Sie bitte auf den Link oberhalb von diesem Text. Sie werden automatisch zu diesem Buchtitel weiter geleitet. |
- Antwortmengenprogrammierung (PDF) (http://www.cs.uni-potsdam.de/wv/pdfformat/schaub02a.pdf) - knapper Überblick von der Entwicklung der klassischen Logik hin zur logischen Programmierung
|
Weiteres zu dem Artikel Logikprogrammierung | | Andere Leser interessierten sich auch für folgende Beschreibungen: | Benutzer, Logik, Anders, Entwicklung, Links, Logikprogrammierung, Menge, Programmierung, Folge | | Schnellzugrif auf verwandte Texte: | | | NEU! Frage im Forum zum Thema: | | Wenn die Beschreibung 'Logikprogrammierung' Ihrer Meinung nach nicht korrekt ist oder in aktueller Version Fehler enthalten sind oder es fehlt die Logikprogrammierung Definition, dann klicken Sie bitte auf "Beschreibung bearbeiten" und schreiben Sie die Eigene Version des Textes. Die Änderungen in der Beschreibung werden sofort aktiv und für alle sichtbar. Ein Administrator wird Ihre Version der Beschreibung und Definition von 'Logikprogrammierung' nachher prüfen. Bitte achten Sie auf die Urheberrechte (Copyright). Wir sind für die besseren Beschreibung von 'Logikprogrammierung' und 'Logikprogrammierung' Definition sehr dankbar.
Alle Tipps zu den Bücher auf dieser Seite wurden automatisch generiert. D.h. die Bücher wurden aus einer Datenbank von dem Computer ausgesucht. Deshalb kann es vorkommen, dass vorgeschlagene Bücher nicht ganz der 'Logikprogrammierung' Beschreibung entsprechen.
Liste aller verwandten Artikel: Anders, Benutzer, Entwicklung, Fakten, Folge, Interpreter, Links, Logik, Logikprogrammierung, Menge, Programmiersprachen, Programmierung |
|
|
· Diese Seite wurde bisher 341 mal abgerufen.
· Letzte Counteraktualisierung erfolgte am 17.05.2008 um 02:52:28
· Diese Seite wurde zuletzt geändert um 00:39, 2. Sep 2004.
· Letzte Portalaktualisierung erfolgte um 08:00:00 GMT, 25.02.2008
|
